Proof-Outline Logic (Concurrent Programming Edition) Theodore S Norvell Electrical and Computer Engineering Memorial University Draft typeset May 12, 2014

Source URL: www.engr.mun.ca

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Logic programming
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Unification
• Lambda calculus
• Constraint logic programming
• Constraint satisfaction

Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar

Source URL: math.andrej.com

• Software engineering
• Computer programming
• Theoretical computer science
• Symbol
• Logic in computer science
• Valuation
• Denotational semantics
• Monad
• Table of stars with Bayer designations

c 2006 International Press ! COMM. MATH. SCI. Vol. 4, No. 1, pp. 267–273

Source URL: www.dam.brown.edu

• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution

Istation Reading Curriculum Correlated to KANSAS COLLEGE and CAREER READY STANDARDS for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Logic programming
• RL
• System time
• Computing
• Computer engineering

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Source URL: www.sci.unich.it

1 Under consideration for publication in Theory and Practice of Logic Programming claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

Source URL: www.cs.uni-potsdam.de

• Machine learning
• Algorithm Selection
• Answer set programming
• Solver
• Feature selection
• Algorithm
• K-nearest neighbors algorithm
• K-means clustering
• Problem solving
• Branch and bound

Appears in Proceedings of the 14th International Conference on Inductive Logic Programming (ILP). Porto, Portugal. September, 2004. Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in

Source URL: mark.goadrich.com

Transfer Learning Across Relational and Uncertain Domains: A Language-Bias Approach Raksha Kumaraswamy Phillip Odom

Source URL: www.indiana.edu

• Logic
• Linguistics
• Cognitive science
• Cybernetics
• Learning
• Machine learning
• First-order logic
• Logic programming
• Clause
• Predicate
• Algorithm

A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Models of computation
• Logic in computer science
• Substitution
• Structure
• Model theory
• Parity of a permutation